First-order logic - PDFSEARCH.IO - Document Search Engine

First-order logic
Results: 1172

#	Item
41	Social Group Modeling with Probabilistic Soft Logic Bert Huang, Stephen H. Bach, Eric Norris, Jay Pujara, Lise Getoor Department of Computer Science University of Maryland College Park, MD 20742 Add to Reading List Source URL: psl.umiacs.umd.edu Language: English - Date: 2013-06-14 19:26:51 Computing Logic Philosophy Web 2.0 Twitter Social media Computer jargon Knowledge representation Probabilistic soft logic Hashtag Twitter usage First-order logic
42	Some Notes on Proofs with Alpha Graphs Frithjof Dau Technische Universit¨ at Dresden, Dresden, Germany Add to Reading List Source URL: www.dr-dau.net Language: English - Date: 2007-08-09 21:04:38 Logic Mathematical logic Abstraction Proof theory Propositional calculus Predicate logic Logical truth First-order logic Tautology Existential graph Cut-elimination theorem Well-formed formula
43	Quantified Constraints and Containment Problems∗ Hubie Chen Departament de Tecnologia, Universitat Pompeu Fabra, Barcelona, Spain. Florent Madelaine Add to Reading List Source URL: www.bedewell.com Language: English - Date: 2009-11-10 10:56:14 Logic Model theory Abstraction Mathematical logic Semantics Predicate logic Metalogic Structure Homomorphism Interpretation Symbol First-order logic
44	Positive Higher-Order Queries Michael Benedikt Oxford University Computing Laboratory Parks Road, Oxford, UK Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2015-10-05 08:25:05 Logic Model theory Mathematics Mathematical logic Conjunctive query Structure First-order logic Substitution Relational algebra FO Interpretation Satisfiability
45	International Journal of Geographical Information Science Vol. 00, No. 00, July 2006, 1–29 A Spatio-Temporal Ontology for Geographic Information Integration Thomas Bittner∗,1,2,3,4 , Maureen Donnelly1,3 , and Barry S Add to Reading List Source URL: www.thomasebittner.com Language: English - Date: 2012-04-30 16:05:50 Logic Ontology Mathematical logic Mathematics Mereology Upper ontology First-order logic Formal ontology S Equivalence relation Problem of universals Binary relation
46	CS4003: Approach CS4003: Formal Methods Andrew Butterfield1 1 Foundations Add to Reading List Source URL: www.scss.tcd.ie Language: English - Date: 2014-12-22 10:26:21 Logic Mathematical logic Mathematics Predicate logic Semantics Quantification Model theory Mathematical notation First-order logic FO Free variables and bound variables Quantifier
47	The complexity of positive first-order logic without equality FLORENT MADELAINE Clermont Universit, Universit d’Auvergne, LIMOS. CNRS, UMR 6158, LIMOS. and Add to Reading List Source URL: www.bedewell.com Language: English - Date: 2011-01-14 21:47:14 Finite model theory FO IP Symbol Base Mathematics Creativity
48	Advances in Cognitive SystemsSubmitted; publishedExploiting Graph Structure to Abstract & Compress Relational Data Add to Reading List Source URL: www.cogsys.org Language: English - Date: 2016-06-16 21:32:57 Graph theory Mathematics Discrete mathematics Line graph Graph Directed graph First-order logic Ear decomposition
49	Mereotopology: A Theory of Parts and Boundaries Barry Smith Department of Philosophy and Member of the Center for Cognitive Science University at Buffalo Add to Reading List Source URL: ontology.buffalo.edu Language: English - Date: 2002-03-18 11:17:58 Mathematical logic Mathematics Logic Ontology General topology Predicate logic Topology Mereotopology Mereology Closure First-order logic Topological space
50	Revisiting the Ontological Square Luc SCHNEIDER 1 , Institute for Formal Ontology and Medical Information Science, Universität des Saarlandes, Saarbrücken, Germany Abstract. Considerations regarding predication in ordi Add to Reading List Source URL: ifomis.uni-saarland.de Language: English - Date: 2014-05-09 08:16:43 Logic Mathematical logic Model theory Metalogic Interpretation Philosophy of mind Semantics First-order logic Constructible universe Linear temporal logic operator